1. Automata and computability /
پدیدآورنده : Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
2. Dynamic logic
پدیدآورنده : / David Harel, Dexter Kozen, Jerzy Tiuryn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
3. Dynamic logic
پدیدآورنده : /David Harel; Dexter Kozen; Jerzy Tiuryn
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
4. Logics of Programs :
پدیدآورنده : edited by Dexter Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
5. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده : edited by Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
6. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده : edited by Edmund Clarke and Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
7. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده : edited by Edmund Clarke and Dexter Kozen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
164
8. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
پدیدآورنده : / Edited by Edmund Clarke, Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
9. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده : Dexter Kozen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
10. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده : Dexter Kozen, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
11. The design and analysis of algorithms
پدیدآورنده : Kozen, Dexter, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43K69
1992
12. The design and analysis of algorithms
پدیدآورنده : Kozen, Dexter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
K69
13. Theory of computation
پدیدآورنده : / Dexter C. Kozen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
14. Theory of computation : with 75 illustrations
پدیدآورنده : Kozen, Dexter
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
